# -*- mode: snippet -*-
# --
fprintf(stderr, "ERROR: $0\n");